.null{
background:grey;
}
.error{
background:red;
}
.failed{
background:red;
}

.passed{
background:green;
}
.probably-right{
background:lightgreen;
}
.skipped{
background:lightyellow;
}
.verified{
background:green;
}
.matched{
color:orange;
}
table{
border:1px solid black;
} 
th{
font-size:200%;
}
tdXXXX{
  white-space: nowrap;
}

thead input { width: 100% }
input.search_init { color: #999 }